Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
111	1 To appear in J. Functional Programming A modular module system XAVIER LEROY Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Functional languages Procedural programming languages Program analysis Type system Type theory Module ML D-module OCaml Software engineering Computer programming Computing
112	Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Functors Adjoint functors Homological algebra Standard ML Monad Limit Free object Denotational semantics Sheaf Abstract algebra Category theory Mathematics
113	Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗ Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Computing Type system Forgetful functor Type safety Module Monad Type inference Sheaf Limit Type theory Software engineering Programming language theory
114	Xavier Leroy Pierre Weis ´ ERENCE ´ MANUEL DE REF Add to Reading List Source URL: caml.inria.fr Language: French - Date: 2009-07-20 04:38:50
115	The OCaml system release 4.01 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2013-08-15 13:37:20 OCaml Comparison of programming languages Coupling Preprocessor Caml Perl module Arbitrary-precision arithmetic Software engineering Computing Computer programming
116	The OCaml system release 4.00 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2012-07-26 06:56:50 OCaml Coupling Comparison of programming languages Caml Preprocessor Arbitrary-precision arithmetic Perl module Software engineering Computing Computer programming
117	The OCaml system release 4.01 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2013-09-12 07:43:14 OCaml Comparison of programming languages Coupling Preprocessor Caml Perl module Arbitrary-precision arithmetic Software engineering Computing Computer programming
118	unix system programming in ocaml Xavier Leroy and Didier Rémy February 22, 2013 Add to Reading List Source URL: ocamlunix.forge.ocamlcore.org Language: English - Date: 2013-02-22 08:04:32 C POSIX library Functional languages Unix OCaml Process Caml Open Write Read Computing Software engineering Computer programming
119	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
120	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction

UPDATE